From d3f713529ab2c1fcbf1a35de0a3a38cf9fb49399 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Fri, 26 Feb 2016 00:13:34 -0500 Subject: [PATCH] Document CSS win32 size support --- docs/reference/gtk/css-properties.xml | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/docs/reference/gtk/css-properties.xml b/docs/reference/gtk/css-properties.xml index dc87af55cb..76a1482520 100644 --- a/docs/reference/gtk/css-properties.xml +++ b/docs/reference/gtk/css-properties.xml @@ -70,6 +70,19 @@ We use for syntax productions, and each line is put in a not quite the same as the CSS definition of rem. + + Whereever a number is allowed, GTK+ also accepts a Windows-specific + theme size: + + + +〈win32 theme size〉 = 〈win32 size〉| 〈win32 part size〉 +〈win32 size〉 = -gtk-win32-size ( 〈theme name〉, 〈metric id〉 ) +〈win32 part size〉 = [ -gtk-win32-part-width | -gtk-win32-part-height | + -gtk-win32-part-border-top | -gtk-win32-part-border-right | + -gtk-win32-part-border-bottom | -gtk-win32-part-border-left ] ( 〈theme name〉 , 〈integer〉 , 〈integer〉 ) + + 〈calc expression〉 = calc( 〈calc sum〉 ) 〈calc sum〉 = 〈calc product〉 [ [ + | - ] 〈calc product〉 ]* 〈calc product〉 = 〈calc value〉 [ * 〈calc value〉 | / 〈number〉 ]* -- 2.30.2